Requirements Specifications Evolution in a Multi-Perspective Environment

We adapt in this paper an analysis-revision cycle to the SCTL-MUS methodology which we will use to support the modification and evolution of requirements specifications in a multi-perspective environment. We take advantage of using our approach in the analysis and revision phases, being able to translate the diagnostic information into system requirements refinements close to the system domain of each viewpoint. To illustrate these advantages, we employ two viewpoints of a thermostat system. Both viewpoints are merged in order to be able to reason over the properties of the composed system. The refinements over the merged model are transferred into each one of the viewpoints and then into the requirements in which are expressed both ones. So, we obtain requirements refinements close to the system domain of each viewpoint, facilitating to the stakeholders the decision of what system requirements refinements must be included in the system requirements specification.